Definable real numbers